Transactional memory - PDFSEARCH.IO - Document Search Engine

Transactional memory
Results: 350

#	Item
321	Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2014-07-03 10:25:45 Data Information Linearizability Lock Rock Non-blocking algorithm Transactional memory Database transaction Parallel computing Concurrency control Transaction processing Data management
322	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing
323	1 Verifying Correctness of Transactional Memories Ariel Cohen (CS/CIMS/NYU, [removed]) John W. O’Leary (Intel, [removed]) Amir Pnueli (CS/CIMS/NYU, [removed]) Mark R. Tuttle (Intel, tuttle@ Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-10-07 00:00:00 Programming language implementation Software transactional memory Transactional memory Software engineering Structure Mathematics Concurrency control Transaction processing Computing
324	Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Serializability Linearizability Transactional memory Schedule Non-blocking algorithm Transmission Control Protocol Concurrency control Transaction processing Computing
325	Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Computing Data Software transactional memory Linearizability Transactional memory Model checking SPIN model checker Serializability Parallel computing Concurrency control Transaction processing Data management
326	N3718 Transactional Memory Support for C++ Transactional Memory Support for C++ Authors: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-09-01 09:14:26 Data Information Computing Lock Transactional memory Linearizability Database transaction C Atomicity Transaction processing Concurrency control Data management
327	Eurographics Conference on Visualization (EuroVis[removed]B. Preim, P. Rheingans, and H. Theisel (Guest Editors) Volume[removed]), Number 3 Add to Reading List Source URL: www.cspaul.com Language: English - Date: 2013-09-10 19:27:42 Concurrency control Parallel computing Nvidia Transaction processing CUDA Software transactional memory Thread Lock CPU cache Computing Concurrent computing Computer hardware
328	Transactional Memory Should be an Implementation Technique, Not a Programming Interface Hans-J. Boehm Why Transactional Memory? Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Data management Concurrency Lock Linearizability Deadlock Parallel computing Thread Transactional memory Concurrency control Transaction processing Computing
329	Report on the 1st Euro-TM School on Transactional Memory 6th School on Hot Topics in Distributed Computing (HTDC) Maria Couceiro and Paolo Romano 17 March - 22 March 2013 Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2013-05-16 14:35:52 Software Data management Computer memory Transactional memory Software transactional memory Institut Eurécom Parallel computing Oracle Database Oracle Corporation Computing Concurrency control Transaction processing
330	Exploiting Hardware Transactional Memory in Main-Memory Databases Viktor Leis, Alfons Kemper, Thomas Neumann Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen Boltzmannstraße 3, D[removed]Garching Add to Reading List Source URL: www-db.in.tum.de Language: English - Date: 2013-11-29 04:15:10 Data Information Databases Serializability Software transactional memory Timestamp-based concurrency control Transactional memory Two-phase locking Lock Transaction processing Concurrency control Data management

UPDATE